aWE= - aWVy